4.000000, 7.000000, 11.000000, 12.000000, 15.000000
